We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test (...) operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms. (shrink)

Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable (...) for any advanced student and researcher in pure and applied modal logic. (shrink)

This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no (...) learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable. (shrink)

ABSTRACT This paper reports on an empirical performance analysis of four modal theorem provers on benchmark suites of randomly generated formulae. The theorem provers tested are the Davis-Putnam-based procedure KSAT, the tableaux-based system KRZIS, the sequent-based Logics Workbench, and a translation approach combined with the first-order theorem prover SPASS. Our benchmark suites are sets of multi-modal formulae in a certain normal form randomly generated according to the scheme of Giunchiglia and Sebastiani [GS 96a, GS 96b]. We investigate the quality of (...) the random modal formulae and show that the scheme has some shortcomings, which may lead to mistaken conclusions. We propose improvements to the evaluation method and show that the translation approach provides a viable alternative to the other approaches. (shrink)

Die zentrale Rolle des Gedächtnisses in der Entwicklung von Lebewesen wurde von Biologen wie Ernst Haeckel, Ewald Hering und Jakob von Uexküll erkannt, wobei zwischen einem Artgedächtnis und einem individuellen Gedächtnis unterschieden wird. Ersteres ist für die Aufrechterhaltung und Weiterentwicklung einer artspezifischen Erscheinungsform verantwortlich, letzteres gestaltet die Erinnerung an individuelle Erfahrungen. Im vorliegenden Band werden die Vorstellungen dieser Biologen mit Ideen der Philosophen G.W.F. Hegel, Alfred N. Whitehead, John Dewey, Ernst Cassirer, Henri Bergson und Reto L. Fetz in einer kohärenten (...) Theorie der Organismen, die auch den Menschen und seine Geschichte umfasst, aufeinander abgestimmt. (shrink)

Recent developments around the sharing economy bring to the fore questions of governability and broader societal benefit—and subsequently the need to explore effective means of public governance, from nurturing, on the one hand, to restriction, on the other. As sharing is a predominately urban phenomenon in modern societies, cities around the globe have become both locus of action and central actor in the debates over the nature and organization of the sharing economy. However, cities vary substantially in the interpretation of (...) potential opportunities and challenges, as well as in their governance responses. Building on a qualitative comparative analysis of 16 leading global cities, our findings reveal four framings of the sharing economy: ‘societal endangerment,’ ‘societal enhancement,’ ‘market disruption,’ and ‘ecological transition.’ Such framings go hand in hand with patterned governance responses: although there is considerable heterogeneity in the combination of public governance strategies, we find specific configurations of framings and public governance strategies. Our work reflects the political and ethical debates on various economic, social, and moral issues related to the sharing economy, and contributes to a better understanding of the field-level institutional arrangements—a prerequisite for examining moral behavior of sharing economy organizations. (shrink)

This project tested a two-way model of communication between lay groups and experts about genetic medicine in Perth, Western Australia. Focus group discussion with community group participants was followed by a communication workshop between community group participants and experts. Four groups of concerns or themes emerged from discussion: clinical considerations; legislative concerns; research priorities, and ethical and wider considerations. Community group concerns are not always met by the actions of "experts". This is, in part, because of the differing life-worlds of (...) each group. However, the communication workshop showed the potential of two-way communication for both lay and expert members in understanding the others' viewpoint. Further, the approach developed here offers one possible way for community groups to participate in a substantial way in policy formulation processes. (shrink)

The epistemological problems of unification of two distinct theories are discussed. An approach related to the work of Soviet authors (Stepin, Podgoretzky and Smorodinsky) is used and developed. The notion of ‘crossbred objects’—theoretical objects with contradictory properties which are part of the domain of application of two independent theories—is introduced which helps to describe the dynamics of revolutionary theory change. The occurrence of the cross-contradiction of two theories is reconstructed and the reductionistic and the synthetic means of its elimination are (...) proposed. The results of the methodological analysis are applied to the paradox of equivalence. (shrink)

mechanism" is frequently encountered in the social science literature, but there is considerable confusion about the exact meaning of the term. The article begins by addressing the main conceptual issues. Use of this term is the hallmark of an approach that is critical of the explanatory deficits of correlational analysis and of the covering-law model, advocating instead the causal reconstruction of the processes that account for given macro-phenomena. The term "social mechanisms" should be used to refer to recurrent processes generating (...) a specific kind of outcome. Explanation of social macro-phenomena by mechanisms typically involves causal regression to lower-level elements, as stipulated by methodological individualism. While there exist a good many mechanism models to explain emergent effects of collective behavior, we lack a similarly systematic treatment of generative mechanisms in which institutions and specific kinds of structural configurations play the decisive role. Key Words: causal regression • correlational analysis • emergent effects • micro-macro processes • social mechanisms • structural determinants. (shrink)

Patients' wishes regarding health care and dying must be taken into consideration by their physicians. Competent patients need to record directives about their care in advance of a crisis situation. The primary care physician, seeing the patient at the time of a routine office visit, is in a favorable position to explore and record attitudes. A patient's value system should be part of a medical history before hospital admission. Details in a Value History Questionnaire facilitate guiding an incompetent patient through (...) a terminal illness in accordance with wishes previously expressed.An instrument in the form of a questionnaire was designed to record the attitudes of 200 patients regarding health care and dying. Respondents ranged in age from 17 to 84 years, and all were members of one family practice. They reacted positively to the opportunity to record their values, opinions, and wishes about their health care and process of dying. They clearly indicated that, in the absence of prior directives, they would want their families consulted about crucial decisions. (shrink)

How are the human rights pertaining to the freedom of conscience/religion, health, and distinct culture intersect in the context of a global pandemic in the Muslim-minority areas? How do Russia’s Muslims make sense of the challenges to those rights caused or exacerbated by the COVID-19 pandemic? In this paper, I focus on diverse Muslim Tatar communities, primarily of the Middle Volga region, who have recently witnessed numerous political and socioeconomic challenges infringing on their human rights. Attending on the period of (...) the COVID-19 pandemic, in this paper I gauge the nature of human rights in the areas of health and religion by interrogating how the general Muslim publics and elites understand, justify, and explain those challenges in an environment of creeping authoritarianism. I call for a conceptual shift from the elite-driven traditional security perspectives to those of human rights as quotidian/everyday experiences while considering these vital issues. I use the Tatar-language Internet forums for the empirical analysis, offering and delineating the discursive repertoires and categorizing the areas of public concern in the new pandemic world. (shrink)

This article discusses a range of recent major surveys of public attitudes toward biotechnology. The authors identify a number of problematic features of the surveys: the use of predominantly consumerist rather than civic conception of public discourse; the assumption of a unitary "general public," a "cognitive deficit" approach to public understanding of science; and the presumption of a politically neutral and instrumental ist model of science and technology. The authors then examine some alternative ap proaches to exploring perceptions of biotechnology (...) among a diversity of interested publics, including more focused dialogical surveys, consensus conferences, and parlia mentary inquiries. (shrink)

As COVID-19 continues to spread, a variety of COVID-19 tracking apps (CTAs) have been introduced to help contain the pandemic. Deployment of this technology poses serious challenges of effectiveness, technological problems and risks to privacy and equity. The ethical use of CTAs depends heavily on the protection of voluntariness. Voluntary use of CTAs implies not only the absence of a legal obligation to employ the app but also the absence of more subtle forms of coercion such as enforced exclusion from (...) certain social and work activities. The protection of individual rights to voluntary use can be enhanced through an ethics by design approach in the development of CTAs that treat the introduction of CTAs for what it is: a complete novelty that is being tested for the first time in democracies. (shrink)

The development of postgraduate studies and the establishment of the Ph.D. in Britain are discussed. Events leading to the introduction of the Ph.D. degree between 1917 and 1920 are traced, and Germany and America's influence on the acceptance of postgraduate education and research in Britain is addressed. An analysis of the highly developed college system peculiar to the ancient English universities is included to identify factors that delayed the introduction of the Ph.D. in Britain. Individual provincial universities are chronicled, together (...) with Cambridge, London, Scotland, Wales, and Oxford (the first to institute the Ph.D.). In analyzing the political forces at work in the inception of the research degree, attention is directed to the vital role played by the Universities Bureau of the British Empire (predecessor of the Association of Commonwealth Universities) and the pressures exerted by government to persuade the universities to cooperate with each other in providing postgradute courses and degrees. It is concluded that the arrival of the Ph.D. at British universities symbolized the modern era of organized training in research that was conceived and nurtured in Germany and imported and commercialized by America. (SW). (shrink)

Knowledge work increasingly takes place in collaborative events from different and changing workplaces due to mobility, multi-locational, and geographical distribution of team members. What are the key elements to create mutual understanding and make creative collaborative decisions in global business meetings? How can these key elements be designed as shikake nudges to build awareness of the individual and team conditions to help knowledge workers make better work environment choices and reach higher levels of engagement? We addressed this question as a (...) transformative journey from island of knowledge to mutual understanding in the context of collaborative decision making in creative global business meetings. We present a “Six Steps to Engagement” framework that offers three feedback loops as shikake triggers to improve the local and global collaboration context and behavior, and three choice-decision-commitment steps toward improving the work environment and increasing knowledge work productivity. To support this framework, we define the following: (1) mutual understanding metrics (MUM) and method for self-assessment and 360 team assessment that define different MUM stages in the journey from island of knowledge to mutual understanding; and (2) an engagement Matrix of Choices (eMoC) prototype to assist geographically distributed knowledge workers to make explicit choices with an understanding of the potential level of engagement and collaboration they can achieve and the respective enablers and hindrances. We argue that iterative and continuous MUM assessment and explicit eMoC choices are central to achieve mutual understanding, high-performance teamwork, and eliminate rework, coordination, and decision wait time. This iterative process (1) allows team members to build awareness of their local conditions and make their local conditions transparent and visible to the rest of the team; (2) provides a feedback mechanism that indicates the engagement potential of each team member and the team, as well as a trigger or nudge toward moving to higher levels of engagement; (3) leads to the alignment of expectations and synchronicity of potential engagement levels. (shrink)

In this paper I shall compare two models of concept formation, both inspired by basic convictions of philosophical empiricism. The first, the connectionist model, will be exemplified by Kohonen maps, and the second will be my own dynamic theory of concept formation. Both can be understood in probabilistic terms, both use a notion of convergence or stabilization in modelling how concepts are built up. Both admit destabilization of concepts and conceptual change. Both do not use a notion of representation in (...) some pregiven language, such as a language of thought or some logical language. Representation in a formal language only plays a role on the meta-level, namely within the theory about concept formation. (shrink)

July 2008 saw a conclusion to a case which began with a request to the Common Services Agency for the Scottish Health Service under the Freedom of Information Act 2002 and culminated in a hearing in front of the House of Lords as Court of Appeal. The outcome, however, can be considered both a triumph and a failure for data protection law.This paper analyzes the House of Lords decision to determine whether the judgment has provided more legal clarity in an (...) area in which guidance is still very much required. (shrink)

Klein, Renate The practice of surrogacy in Australia has been controversial since its beginning in the late 1980s. In 1988, the famous 'Kirkman case' in the state of Victoria put surrogacy on the national map. This was a two-sisters surrogacy - Linda and Maggie Kirkman and the resulting baby Alice - in which power differences between the two women were extraordinarily stark: Maggie was the glamorous and well spoken woman of the world; Linda who carried the baby, was the demure (...) school teacher in child-like frocks and pig tails. Their IVF doctor applauded altruistic surrogacy. He called it 'gestational surrogacy' and proclaimed that if the so-called surrogate mother didn't use her own eggs, thus wasn't the baby's 'genetic' mother, no attachment would ensue! This statement is haunting us to this day. It is patently absurd: as a baby grows in a woman's body over the nine months of the pregnancy, it is hard to see why the 24/7 presence of the baby inside her body, its growth, its interaction with her would be any different whether s/he has the mother's genes! (shrink)

While executive functions and self-regulated learning strategy use have been found to be related in several populations, this relationship has not been studied in adult online distance education. This is surprising as self-regulation, and thus using such strategies, is very important here. In this setting, we studied the relation between basic executive functions and reported SRL-strategy use within a correlational design with 889 adult online distance students. In this study, we performed regression analyses and took age and processing speed into (...) consideration, as processing speed and EFs decrease with age, whereas self-regulation is reported to increase with age. Cognitively measured working memory was not related to reported SRL-strategy use in adult ODE students. Thus, even though the SRL-components within the strategies seem to elicit working memory, reported SRL-strategy use is not related to the functioning of this basic EF. This means that if SRL-strategy use needs to be increased in adult ODE students, training of working memory might not be an effective manner for achieving that goal. Better shifting and processing speed were related to less reported SRL-strategy use, which might suggest that SRL-strategies might be used to compensate for lower shifting and lower processing speed. With increasing age, the number of contacts with peers or teachers decreases. This latter finding might be of relevance during the pandemic since contacts with others is importance during lockdown. (shrink)

This paper discusses ethics in the context of Aboriginal Studies. Taking the example of a late-nineteenth century missionary work, a collection of out-of-print Mi’kmaq stories, it examines the ethical implications of the potential re-publication of such a text. It is argued that the Baptist missionary Silas T. Rand, who translated and transcribed the narratives, did his work from a Eurocentric perspective. The biases of a colonial ideology built into his translations/interpretations which are often quoted as authoritative would be further perpetuated (...) if his work is republished without critical commentary. As Aboriginal oral traditions generally form the basis of Aboriginal cultures and contemporary Aboriginal literatures but have been demeaned for centuries thereby further colonizing the peoples, an edition of Rand’s work informed by a postcolonial ethics is crucial. The paper therefore concludes with the suggestion that the stories collected by the missionary should be repatriated in the respective Mi’kmaq communities in a way that the people can decide how to go about their publication (if they want them published at all). A non-Aboriginal scholar may facilitate the process but should follow the directions of the communities. (shrink)